type C - PDFSEARCH.IO - Document Search Engine

type C
Results: 3897

#	Item
991	A Certified Framework for Compiling and Executing Garbage-collected Languages Andrew McCreight Tim Chevalier Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-07-25 18:04:13 Data types Memory management C++ Primitive types Type theory Garbage collection Pointer Type safety C Software engineering Computing Computer programming
992	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
993	AMX™ 86 C Programming Guide for use with the AMX 86 Multitasking Executive First Printing: June 16, 1993 Add to Reading List Source URL: www.kadak.com Language: English - Date: 2005-03-01 18:08:00 Data types Procedural programming languages Memory management Type theory Subroutines Reentrancy AMC AMX Automatic variable External variable Software engineering Computing Computer programming
994	Speed Control Settings Skier Pull Type: Slalom A - Slower engine response out of the buoy, but the boat will tend to move ahead as the skier approaches the buoy. B - Moderate engine response compared to A and C C - Faste Add to Reading List Source URL: www.awwf.com.au - Date: 2015-02-02 19:19:46
995	Maternal C-type natriuretic peptide tied to pre-eclampsia Add to Reading List Source URL: medicalxpress.com Language: English - Date: 2015-04-22 05:22:29 Fertility Gestational hypertension Hypertension Small for gestational age Pre-eclampsia Natriuretic peptide Eclampsia Obstetrics Pregnancy Medicine Health Medical emergencies
996	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
997	A New Implementation of the Icon Language Gregg M. Townsend Department of Computer Science The University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2000-07-24 19:35:50 Data types Cross-platform software Type theory Subroutines Procedural programming languages Icon C Java bytecode Java Software engineering Computing Computer programming
998	The GNU C++ Library Doug Lea SUNY Oswego & NY CASE Center DRAFT The GNU C++ library (libg++) was among the rst widely available general-purpose C++ class libraries. Some classes were designed and implemented as early as Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:28 Object-oriented programming Data types Type theory Cross-platform software Abstract data types Object C++ Class Generic programming Software engineering Computing Computer programming
999	The Next Stage of Staging Jun Inoue1 , Oleg Kiselyov2 , Yukiyoshi Kameyama3Tohoku University Add to Reading List Source URL: okmij.org Language: English - Date: 2015-03-12 05:21:23 Type theory Data types Procedural programming languages Functional languages C++ Type system ALGOL 68 OCaml C++ classes Software engineering Computing Programming language theory
1000	INTRODUCTION TO PROGRAMMING PRACTICES Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2009-06-29 13:57:07 Procedural programming languages Data types C++ Cross-platform software C programming language C Pointer Void type ALGOL 68 Software engineering Computer programming Computing

UPDATE